COMMENT ⊗ VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 C00003 ENDMK C⊗; αXDEFINE SL⊗↔ αxf \4⊗↔⊗↑α*{\βsβlβ αs\}αdαβ⊗↓ αXDEFINE BF⊗↔ αxf \6⊗↔⊗↑α*{\βsβlβ αs\}αdαβ⊗↓